automated proof

[计] 自动验证

热门查询

accompanying　　v. 伴随（accompany的ing形式） adj. 陪伴的；附随的
isolation　　n. 隔离；孤立；[电] 绝缘；[化学] 离析
invidious　　adj. 诽谤的；不公平的；引起反感的；易招嫉妒的
beneficial　　adj. 有益的，有利的；可享利益的
embracing　　n. 拥抱 v. 拥抱，包含（embrace的现在分词形式）
Buckley　　[人名] [英格兰人姓氏] 巴克利住所名称，来源于古英语，含义是“公山羊+树林，开垦地”(hegoat+wood,clearing); [人名] [爱尔兰姓氏] 巴克利盖尔语姓氏的英语形式，来源于别名，含义是“放牛娃，或仆人”(cowherd,or servant); [地名] [英国、英国] 巴克利
universalize　　vt. 使普遍化，使一般化
launcher　　n. 发射器；发射台；发射者
magnetometer　　n. 磁强计；[电磁] 磁力计
retropharyngeal　　adj. [解剖] 咽后的
bom　　abbr. beginning of month 月初; bomb (ardier) 轰炸（员）; business office must 商业事务所业务
lavery　　[人名] [爱尔兰姓氏] 莱弗里盖尔语姓氏的英语形式，来源于别名，含义是“发言人”(spokesman)
Pavarotti　　n. 帕瓦罗蒂（意大利男高音歌唱家）
Michaelmas　　n. 米迦勒节（宗教节日）
canto　　n. 篇；曲调；长诗的篇章 n. (Canto)人名；(西、意、葡)坎托
waterbird　　n. 水鸟
indexed　　adj. 编入索引的；有索引的 v. 为…编索引；把…编入索引；指示（index的过去分词）
necropolis　　n. 大墓地；史前时期的坟场
die　　n. 冲模，钢模；骰子 vi. 死亡；凋零；熄灭 vt. 死，死于… n. (Die)人名；(西)迭；(阿拉伯)迪埃
encourage　　vt. 鼓励，怂恿；激励；支持